Nuprl Definition : unit-fps 11,40
unit-fps == cons(1; []) 
latex

Definitionscons(car; cdr), #$n, []
FDL editor aliasesunit-fps

origin